A Unifying Framework for Systolic Designs
نویسنده
چکیده
A systematic methodology to synthesize systolic designs is described and used to derive a new design for dynamic programming. This latter design uses fewer processing elements than previously considered ones. The synthesis method consists of two pans: 1) deriving from the high-level problem specification a form more suitable to VLSI implementation; 2) mapping the new specification into physical hardware. The method also provides a Wlifying framewOIK for existing systolic algorithms.
منابع مشابه
Normal design algebra
We generalise the designs of the Unifying Theories of Programming (UTP) by defining them as matrices over semirings with ideals. This clarifies the algebraic structure of designs and considerably simplifies reasoning about them, for example, since they form a Kleene and omega algebra and a test semiring. We apply our framework to investigate symmetric linear recursion and its relation to tail-r...
متن کاملAlgebraic Foundations of the Unifying Theories of Programming
Hoare and He’s Unifying Theories of Programming take a relational view on semantics. The meaning of a non-deterministic, imperative program is described by ‘designs’ composed of two relations. They represent terminating states and relate the initial and final values of the observable variables, respectively. Several ‘healthiness conditions’ are imposed by the theory to obtain properties found i...
متن کاملUnifying Theories of Confidentiality
This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He’s Unifying Theories of Programming (UTP) to do so and derive advantage from this choice. We identify how information flow between users can be modelled in the UTP and devise conditions for verifying that system designs may not leak secret informati...
متن کاملUnifying Synchronous Systems
What is the question that this proposal addresses? This proposal will explore the development of a theory of hardware compilers within the UTP framework [HH98], thus bridging the synchronous-hardware, state-based, and message-based software domains under one theoretical umbrella. Furthermore, it will look at developing a parameterized collection of theories that allow straightforward verificati...
متن کاملObject-Orientation in the UTP
In this paper, we study object-oriented programming concepts present in languages like Java and C++ in the framework of the Unifying Theories of Programming (UTP). This work shows how subtyping, data inheritance, (mutually) recursive methods, and dynamic binding can be described in the UTP by combining and extending the theories of designs and higher-order procedures. A distinguishing feature o...
متن کامل